Breaking the Myth: Can Small Models Infer Postconditions Too?