updated to new boogieamp version. Some loop and hasse diagram has moved
to boogieamp