removed empty lines from failure output
changed ace namespace
bugfixed model status update
forall === forAll