Initial commit
Utilities for checking preconditions