add pump-local literals and convert Alu1 test case