Fix is_alpha and is_beta using the their correct definitions
Add get_non_literal_position