Canonicalization of single formula creates task too (fixes #31)