How to check control properties in source code? We map control properties into traditional software engineering properties in an attempt to solve the challenge.