Unify JavaDoc in getClaim and getStatementRank with rest of code