Added helper methods for checking contracts