minor cleanup in Abstract domain
allow different percept sequences
minor fixes in experiment reporters
expand and finalize ICCM 2015 experiments