Allow conditional insertion of KFs

[jlblancoc]

Or, equivalently: allow removing the last-inserted KF.
This should be O(1) operation without problems.