Always go for fixpoint when performing BC