Prove *complete* simulations for the constant and state schedulers #25
Description
The theorems refine_cst_refinement and refine_state_refinement are proved with regular strong simulations, but it would make more sense to use complete simulations (cssim).