Unsolved metas at the following locations: OccursCheck1.agda:18,11-12 OccursCheck1.agda:20,8-12