EAL-calculus as-oracle-proposal confluence master old_repo parallel-emu small-changes