added properties table to probabilistic reach + verify