Program semantic should respect the logic of flow execution | CAST Appmarq