clasp aspif version rectified
fixing headers with macro \ASPm{}
various modifications
file for theory solving
moving day inserted
on teh move