get replCorrect building

Deleted some of the conditions in initial_bc_state_side_def, but I think
they are of no consequence. Now replCorrect is almost done: there are
just some cheats left to do with free variables.