sl/fixed_point: do not create orphan components in removeDeadBranch()
sl/fixed_point: factor out isTrivialAssignment()
sl/fixed_point: remove also trivial conditions

... with exactly two predecessor locations