Can produce the system model for non control based propositions