Fix concreteness check in decont

jnthn++ for pointing it out