Simulator for LBP2's logic