Flax : compilation, simulation and model checking iFlows