Extended the functionality of as2transition to handle bare atoms, eql(p,v) style atoms, and eq(p,v) style atoms in a nicer way.
as2transition can now be applied to general (time-stamped or timeless) ASP programs.