Added debug tests for preconditions. #36