some updates.
add reserved_program and subtraction operator test.