test findall returns empty list when goal cannot be satisfied