Generator of abstractions: Relax Abstractions vk.com/absgn