add Compilation and Allocation subsititutions