Program Condition

Evaluates properties of the specified Program.

v1.0+