Constraint-base test runner for delphi