it:programmierlexikon:implizite-bedingung