The MUST Tool: Exploiting Propp’s Theory