else if (statement instanceof PsiReturnStatement) {
<BUG>result.addAll(ContainerUtil.map(visitExpression(states, ((PsiReturnStatement)statement).getReturnValue()), KnownContract::new));
}</BUG>
else if (statement instanceof PsiAssertStatement) {
<BUG>List<MethodContract> conditionResults = visitExpression(states, ((PsiAssertStatement)statement).getAssertCondition());

result.addAll(ContainerUtil.map(toContracts(antecedentsReturning(conditionResults, FALSE_VALUE), THROW_EXCEPTION), KnownContract::new));
</BUG>
}
else if (statement instanceof PsiDeclarationStatement) {

else if (statement instanceof PsiReturnStatement) {
result.addAll(visitExpression(states, ((PsiReturnStatement)statement).getReturnValue()));
}
else if (statement instanceof PsiAssertStatement) {
List<PreContract> conditionResults = visitExpression(states, ((PsiAssertStatement)statement).getAssertCondition());
result.addAll(asPreContracts(toContracts(antecedentsReturning(conditionResults, FALSE_VALUE), THROW_EXCEPTION)));
}
else if (statement instanceof PsiDeclarationStatement) {
